Free logic - PDFSEARCH.IO - Document Search Engine

Free logic
Results: 431

#	Item
31	Type theory and proof assistants 21 January 2009, 15.30–17.30 This test has 15 exercises, and each exercise is worth 6 points. The first 10 points are free, and the final mark is the number of points divided by ten. Go Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Type theory Mathematical logic Theoretical computer science Lambda calculus Mathematics CurryHoward correspondence Dependent type Church encoding System F Simply typed lambda calculus Natural deduction Combinatory logic
32	Version 5 Free homogeneous structures are generalised measurable Will Anscombe University of Leeds Add to Reading List Source URL: www.maths.dur.ac.uk Language: English - Date: 2015-08-17 06:12:14 Mathematics Mathematical logic Model theory Structure Universal algebra Logic Measure Philosophy of mathematics
33	Language Fuzzing Using Constraint Logic Programming Kyle Dewey Jared Roesch Ben Hardekopf Add to Reading List Source URL: jroesch.github.io Language: English - Date: 2016-04-16 20:16:50 Software engineering Declarative programming Computer programming Constraint logic programming Constraint programming Logic programming Programming paradigms Formal languages CLP Prolog Context-free grammar JavaScript
34	Technische Universität Dresden Fakultät Informatik DIPLOMARBEIT Free Theorems for Sublanguages of Haskell Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2008-04-14 08:10:31 Type theory Parametricity Type class Haskell Polymorphism Map Lambda calculus Combinatory logic Kind Parametric polymorphism ML Haskell features
35	Reflecting Higher-Order Abstract Syntax in Nuprl? Eli Barzilay and Stuart Allen Cornell University {eli,sfa}@cs.cornell.edu Abstract. This document describes part of an effort to achieve in Nuprl a practical reflection o Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-07-04 16:21:32 Automated theorem proving Logic programming Integral calculus Free variables and bound variables Mathematical notation Predicate logic Substitution Term Integration by substitution Principia Mathematica
36	Reasoning about Programs in Continuation-Passing Style Amr Sabry Matthias Felleisen Department of Computer Science Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-10-24 10:44:59 Lambda calculus Functional programming Theoretical computer science Logic in computer science Continuation-passing style Combinatory logic Eval Monad Derivative Free variables and bound variables Lambda calculus definition A-normal form
37	Description Logics for Shape Analysis Lilia Georgieva School of Mathematical and Computer Sciences Heriot-Watt University, Edinburgh, UK Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-09-09 08:46:00 Non-classical logic Edsger W. Dijkstra Predicate transformer semantics FO First-order logic Null Second-order logic Model theory Free logic Transitive closure
38	Proceedings of the Electroacoustic Music Studies Network Conference Electroacoustic Music Beyond Performance, Berlin, June 2014 www.ems-network.org The Deadly Embrace Between Music Software and Its Users Miller Puckette Add to Reading List Source URL: msp.ucsd.edu Language: English - Date: 2014-11-03 22:57:12 Software Visual programming languages Computer programming Max Computer music Free software Computing Miller Puckette Logic Pro Computer program Source code Integrated development environment
39	ICFP, October 4, 2002 Concatenate, Reverse and Map Vanish For Free Janis Voigtl¨ ander Dresden University of Technology Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Logic in computer science Constructible universe Combinatory logic Probability distributions Standard ML
40	Feferman on Godel and Free Will Abstract Feferman surveys the work of Godel and Turing, and, although not himself holding a mechanist view of the mind as a whole, raises objections to the anti-mechanist argument put fo Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2010-11-17 13:56:05 Guggenheim Fellows Mathematical logic Cognitive science Materialism Mechanism Naturalism George Boolos Logic Modal logic Mathematical proof Solomon Feferman Contradiction

UPDATE